Total Books: 1 - 1 /1
The Seventeen Provers of the World
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Lee mas
Total Books: 1 - 1 /1
